TSTP Solution File: QUA006^1 by SRASS---0.1